航天嵌入式软件数组越界缺陷特征研究

根据统计,数组越界是航天嵌入式软件开发过程中出现最多且最容易被遗漏的缺陷类型之一.目前自动化检测数组越界多基于抽象解释、符号执行、程序模型检验等方法,这些方法在误报、漏报、可扩展性等方面的表现依赖于软件及缺陷特征.分析了近三年航天嵌入式软件第三方测试中发现的94个数组越界问题,从缺陷模式和缺陷表现形式两方面分析得出10项航天嵌入式软件数组越界缺陷特征,并提出对设计具体检测方法关键的若干启示.进一步基于这些特征和启示探讨了数组越界检测算法针对中断驱动型程序的改进方向.     

利用微波探测仪(ATMS)对在轨微波辐射计观测精度的模拟分析

微波辐射计的观测精度及其对数值模式同化应用的影响评估是微波辐射计观测指标设计的重要参考。基于微波探测仪(ATMS)资料,利用三维变分同化系统模拟分析在轨微波辐射计的观测精度指标。针对ATMS观测误差特征,在其观测基础上增加均值为零、标准偏差分别为0.5,1.0,1.5,2.0K的正态随机扰动,进而获得不同精度的观测模拟值序列,然后利用Harris和Kelley的辐射资料偏差订正经验方法订正不同精度的观测资料。偏差订正后,利用三维变分同化模式(WRFDA)直接同化ATMS资料。通过2016年6月6h预报场的同化试验,评估了不同观测精度的模拟资料对数值模式的同化影响。     

对策论在雷达电子战效能评估中的应用

介绍了对策论的基本内容和分析方法,包括对策论所涉及问题的要素和分类.指出了对策论在雷达电子战效能评估中应用的可行性和必要性.分析了电子对抗博弈双方采取不同对抗技术措施的得益矩阵,并在此得益矩阵的基础上,重点研究了对策论在电子对抗效能评估过程中的应用.     

用于卫星推力室的新型催化剂

卫星上安装有用于轨道和姿态控制的小推力推力室。推力由三氧化二铝基的铱催化剂分解无水肼而产生。铱催化剂的主要缺点是成本高和生产技术复杂。目前的工作是把钼(M)、钨(W)的碳化物与氮化物的合成过程与成型联系起来,形成有大、中孔隙的新型催化剂,来代替昂贵的传统催化剂30%铱——三氧化二铝(即shell-405_(TM))。在这种新的工艺中,首先是制备胶状的钨酸和钼酸;然后把这些材料与有机聚合物混合,使之生成胶体溶液;再挤压成型。其次把生成的这些中间过渡产品送去加热处理,焚烧掉有机聚合物得到所期望的有大、中孔隙的氧化物。最后一步是按照Boudart和Volpi方法利用挤出物制备氮化物和碳化物。本文给出了用2N推力室试验新催化剂的主要试验结果,同时与Shell 405~(TM)的试验结果进行了比较。试验表明新催化剂有如下特点:比表面积大;能承受高达1100K的烧结温度;热试时室压和推力高度稳定,催化剂机械强度高。新催化剂的主要优点是生产工艺更简单而且成本更低。     

胶州湾环境污染—卫星遥感信息分析

陆地卫星主题绘图仪(TM)图象和我国国土普查卫星全景相机照片解译分析与现场调查表明,胶州湾东岸工业废水污染相当严重,主要污染源集中在海泊河、李村河、娄山河以及沧口区沿海一线,污染水带宽达4～7km,在落潮流携带下扩散至湾口外海。由青岛碱厂排污形成的“白滩”污染区现有面积为0.53km~2。青岛市大气污染严重,源自市区的烟羽宽达14km,顺风飘逸远达30km,势必造成酸雨等灾害。     

光栅信号时钟脉冲细分的误差分析

简介时钟脉冲细分技术的原理，着重分析其细分误差因素，给出了计算实际最大细分数的理论公式，并论述了光栅最大运动速度、时钟脉冲分频数和实际最大细分数之间的关系，对光栅信号时钟脉冲细分系统的参数设计具有指导意义。     

关于危险品运输的紧急救援

危险品运输是技术要求最高的一类特种货物运输。在运输、装卸及贮存保管过程中,稍有不慎便会发生事故,造成人身伤亡和财产毁损。笔者认为:灾害=事故十损失。严格执行危险品运输规章,减少事故发生率,从技术上进行要求。仅是问题的一个方面。而另一方面还应立足于事故发生后的紧急救援,以最大限度地减少损失,两者并重才不致酿成灾害。为此,提出了建立“危险品运输紧急救援中心”的建议。     

拓宽周转齿轮系的应用

本文为拓宽创新设计机构的思路,扼要地介绍了一种利用空间周转轮系,实观机械手臂的公转与自转动作要求的机构运动分析、设计方案及结构参考图。     

中心极限定理用于近似计算时必须注意的问题

本文着重指出,在运用中心极限定理近似计算独立同泊松分布随机变量之和的概率时,通常只注意了取n适当大的值,从而导致了差异较大的不同结果。本文指出了不仅要使n适当的大,而且也要使nλ足够地大。当X_h是其他离散型随机变量时,也要考虑类似的问题。     

大型空间模拟器真空测量的自动化

介绍了大型空间模拟器真空测量自动化的实施和特点,以及真空度的描述方法,对真空测量自动化的进一步发展提出了设想。